Introduction

This page summarizes the trophies won by the tools for ReachabilityMix. At this stage, we think this is not possible to provide a global trophy for the MCC @ Petri Net 2013.

Separated trophies for ReachabilityMix

We first consider separately the two types of models.

Trophies for the “Known” Models			Trophies for the “Surprise” Models
LoLA optimistic 189 (points)	LoLA 184 (points)	LoLA optimistic incomplete 154 (points)	Marcie 24 (points)	LoLA optimistic 12 (points)	LoLA 12 (points)	LoLA optimistic incomplete 12 (points)

Global trophies for ReachabilityMix

For this trophy, we use the following formula: results on “Known” models + 2 x results on “Surprise” models.

Trophies for All Models
LoLA optimistic 213 (points)	LoLA 208 (points)	Marcie 166 (points)	LoLA optimistic incomplete 166 (points)